Towards Better Separation between Deterministic and Randomized Query Complexity
نویسندگان
چکیده
We show that there exists a Boolean function F which gives the following separations among deterministic query complexity (D(F )), randomized zero error query complexity (R0(F )) and randomized one-sided error query complexity (R1(F )): R1(F ) = Õ( √ D(F )) and R0(F ) = Õ(D(F ))3/4. This refutes the conjecture made by Saks and Wigderson that for any Boolean function f , R0(f) = Ω(D(f))0.753... This also shows widest separation between R1(f) and D(f) for any Boolean function. The function F was defined by Göös, Pitassi and Watson who studied it for showing a separation between deterministic decision tree complexity and unambiguous nondeterministic decision tree complexity. Independently of us, Ambainis et al proved that different variants of the function F certify optimal (quadratic) separation between D(f) and R0(f), and polynomial separation between R0(f) and R1(f). Viewed as separation results, our results are subsumed by those of Ambainis et al. However, while the functions considered in the work of Ambainis et al are different variants of F , in this work we show that the original function F itself is sufficient to refute the Saks-Wigderson conjecture and obtain widest possible separation between the deterministic and one-sided error randomized query complexity. 1998 ACM Subject Classification F.1.1 [Computation by Abstract Devices]: Models of Computation – Relations between models, F.1.2 [Computation by Abstract Devices]: Modes of Computation – Probabilistic computation
منابع مشابه
Nearly Optimal Separations Between Communication (or Query) Complexity and Partitions
We show a nearly quadratic separation between deterministic communication complexity and the logarithm of the partition number, which is essentially optimal. This improves upon a recent power 1.5 separation of Göös, Pitassi, and Watson (FOCS 2015). In query complexity, we establish a nearly quadratic separation between deterministic (and even randomized) query complexity and subcube partition c...
متن کاملThe Zero-Error Randomized Query Complexity of the Pointer Function
The pointer function of Göös, Pitassi and Watson [5] and its variants have recently been used to prove separation results among various measures of complexity such as deterministic, randomized and quantum query complexities, exact and approximate polynomial degrees, etc. In particular, the widest possible (quadratic) separations between deterministic and zero-error randomized query complexity, ...
متن کاملLow-Sensitivity Functions from Unambiguous Certificates
We provide new query complexity separations against sensitivity for total Boolean functions: a power 3 separation between deterministic (and even randomized or quantum) query complexity and sensitivity, and a power 2.1 separation between certificate complexity and sensitivity. We get these separations by using a new connection between sensitivity and a seemingly unrelated measure called one-sid...
متن کاملLifting randomized query complexity to randomized communication complexity
We show that for any (partial) query function f : {0, 1} → {0, 1}, the randomized communication complexity of f composed with Indexm (with m = poly(n)) is at least the randomized query complexity of f times log n. Here Indexm : [m] × {0, 1} → {0, 1} is defined as Indexm(x, y) = yx (the xth bit of y). Our proof follows on the lines of Raz and Mckenzie [RM99] (and its generalization due to [GPW15...
متن کاملEnhanced algorithms for Local Search
Let G = (V,E) be a finite graph, and f : V → N be any function. The Local Search problem consists in finding a local minimum of the function f on G, that is a vertex v such that f(v) is not larger than the value of f on the neighbors of v in G. In this note, we first prove a separation theorem slightly stronger than the one of Gilbert, Hutchinson and Tarjan for graphs of constant genus. This re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electronic Colloquium on Computational Complexity (ECCC)
دوره 22 شماره
صفحات -
تاریخ انتشار 2015